大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Joseph August 的图书(共2284本)

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

0
索取号：
作者：Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

0
索取号：
作者：Nejdl、 Wolfgang.、Kay、 Judy.、Pu、 Pearl.、Herder、 Eelco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

0
索取号：
作者：Brim、 Lubo拧.、Haverkort、 Boudewijn.、Leucker、 Martin.、Pol、 Jaco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Numerical Methods and Applications [electronic resource] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

0
索取号：
作者：Boyanov、 Todor.、Dimova、 Stefka.、Georgiev、 Krassimir.、Nikolov、 Geno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

E-Business and Telecommunication Networks [electronic resource] : Third International Conference, ICETE 2006, Set煤bal, Portugal, August 7-10, 2006. Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Obaidat、 Mohammad S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Geometry of Algebraic Curves [electronic resource] : Volume II with a contribution by Joseph Daniel Harris

0
索取号：
作者：Arbarello、 Enrico.、Cornalba、 Maurizio.、Griffiths、 Phillip A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Critical Information Infrastructures Security [electronic resource] : First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006. Revised Papers

0
索取号：
作者：Lopez、 Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agents and Peer-to-Peer Computing [electronic resource] : 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers

0
索取号：
作者：Despotovic、 Zoran.、Joseph、 Sam.、Sartori、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Knowledge Acquisition and Management [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised Selected Papers

0
索取号：
作者：Hoffmann、 Achim.、Kang、 Byeong-ho.、Richards、 Debbie.、Tsumoto、 Shusaku.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Enterprise Engineering I [electronic resource] : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings

0
索取号：
作者：Dietz、 Jan L. G.、Albani、 Antonia.、Barjis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Pearls of Glaucoma Management [electronic resource]

0
索取号：
作者：Giaconi、 JoAnn A.、Law、 Simon K.、Coleman、 Anne L.、Caprioli、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

0
索取号：
作者：Havelund、 Klaus.、N煤帽ez、 Manuel.、Ro艧u、 Grigore.、Wolff、 Burkhart.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Web Mining and Web Usage Analysis [electronic resource] : 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers

0
索取号：
作者：Mobasher、 Bamshad.、Nasraoui、 Olfa.、Liu、 Bing.、Masand、 Brij.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Oligomers - Polymer Composites - Molecular Imprinting [electronic resource]

0
索取号：
作者：Gong、 Bing.、Sanford、 Adam R.、Ferguson、 Joseph S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Web Mining and Web Usage Analysis [electronic resource] : 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers

0
索取号：
作者：Nasraoui、 Olfa.、Za茂ane、 Osmar.、Spiliopoulou、 Myra.、Mobasher、 Bamshad.、Masand、 Brij.、Yu、 Philip S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent-Mediated Electronic Commerce. Designing Trading Agents and Mechanisms [electronic resource] : AAMAS 2005 Workshop, AMEC 2005, Utrecht, Netherlands, July 25, 2005, and IJCAI 2005 Workshop, TADA 2005, Edinburgh, UK, August 1, 2005, Selected and Revised Papers

0
索取号：
作者：Poutr茅、 Han.、Sadeh、 Norman M.、Janson、 Sverker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.